Constructible function - PDFSEARCH.IO - Document Search Engine

Constructible function
Results: 268

#	Item
131	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-10 12:58:33 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
132	Towards a Logical Analysis of Biochemical Pathways Patrick Doherty, Steve Kertes, Martin Magnusson, and Andrzej Szalas Department of Computer and Information Science, SE[removed]Link¨oping, Sweden, email: {patdo,g-steke, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:40:19 Model theory Formal languages First-order logic Predicate logic Constructible universe Chemical reaction Well-formed formula Function Logic Mathematical logic Mathematics
133	arXiv:0807.3286v1 [quant-ph] 21 Jul[removed]The Strong Free Will Theorem John Conway∗ and Simon Kochen∗ Princeton University Department of Mathematics Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-07-21 11:41:31 Quantum measurement Free will Free will theorem Spin EPR paradox Frame of reference Constructible universe Special relativity Wave function Physics Quantum mechanics Quantum field theory
134	Reasoning about Joint Action and Coalitional Ability in Kn with Intersection 1 ˚ Thomas Agotnes and Natasha Alechina2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:39:50 Interpretation Model theory Philosophy of language Philosophy of mind Semantics Function Constructible universe Linear temporal logic Μ operator Mathematics Logic Mathematical logic
135	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
136	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
137	Heuristically Optimized Trade-offs: A New Paradigm for Power Laws in the Internet Alex Fabrikant1 , Elias Koutsoupias2? , and Christos H. Papadimitriou1?? 1 Computer Science Division Add to Reading List Source URL: snap.stanford.edu Language: English - Date: 2011-11-19 02:38:27 Smooth functions Diophantine approximation Constructible universe Distribution Auxiliary function Schneider–Lang theorem Mathematical analysis Mathematics Transcendental numbers
138	CHAPTER II AUTOMORPHIC REPRESENTATIONS AND L-FUNCTIONS FOR GL(1, AQ ) §2.1 Add to Reading List Source URL: www.maths.nottingham.ac.uk Language: English - Date: 2011-05-25 03:52:18 Symbol Dirichlet character Functional equation Dirichlet L-function Constructible universe Hecke character Analytic number theory Hypergeometric functions Q-analogs Mathematical analysis Mathematics Abstract algebra
139	Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:34:48 Logic Structure Interpretation Function Relational database First-order logic FO Constructible universe Golden ratio Mathematics Mathematical logic Model theory
140	On Mutual Understanding among Communicating Agents⋆ Patrick Doherty1, Witold Łukaszewicz1,2 , and Andrzej Szałas1,2 1 Department of Computer Science, University of Link¨oping, Sweden, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:52:30 Model theory Formal languages First-order logic Predicate logic Function Constructible universe Ontology Characteristic function Golden ratio Logic Mathematics Mathematical logic

UPDATE